Labelled Tableaux for Distributed Temporal Logic
نویسندگان
چکیده
منابع مشابه
Labelled Tableaux for Distributed Temporal Logic
DTL is a distributed temporal logic for reasoning about temporal properties of discrete distributed systems from the local point of view of the system’s agents, which are assumed to execute sequentially and to interact by means of synchronous event sharing. We present a sound and complete labeled tableaux system for full DTL. To achieve this, we first formalize a labeled tableaux system for rea...
متن کاملLabeled Tableaux for Distributed Temporal Logic
DTL is a distributed temporal logic for reasoning about temporal properties of distributed systems from the local point of view of the system’s agents, which are assumed to execute sequentially and to interact by means of synchronous event sharing. We present a sound and complete labeled tableaux system for full DTL. To achieve this, we first formalize a labeled tableaux system for reasoning lo...
متن کاملLabelled Analytic Tableaux for S4.3
An Abstract The paper presents a labelled tableau system for S4.3, based on D'Agostino, Mondadori system KE [1] for Classical Propositional Logic and labelled rules for S4 of Fitting [4]. Weak connectedness is provided by the unique, nonbranching ν-rule. The system is analytic and provides decision procedure
متن کاملLabelled modal tableaux
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This paper consists of three parts. In the first part we consider some options for labels: simple constant labels vs labels with free variables, logic depended inference rules vs labels manipulation based on a label algebra. ...
متن کاملSyntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC
Fuzzy description logics (DLs) serve as a tool to handle vagueness in real-world knowledge. There is particular interest in logics implementing Łukasiewicz semantics, which has a number of favourable properties. Current decision procedures for Łukasiewicz fuzzy DLs work by reduction to exponentially large mixed integer programming problems. Here, we present a decision method that stays closer t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2009
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exp022